2006

International Conference

[1] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances", Proc. of the 7th International Workshop on Information Security Applications, August 2006.

Technical report

[1] Moonzoo Kim and Eun-Hye Choi, "Formal Modeling and Verification of Management on a Group of Network Security Appliances", 算譜科学研究速報, (PS-2006-007), July 2006.